Minor documentation updates, take two