Minor documentation updates

This commit includes multiple minor documentation updates.