Minor documentation updates.