Small documentation updates