Very minor documentation updates