Typo copied from manual. This shouldn't be here at all until it is automated.