Even more minor documentation updates