Minor documentation updates