Documentation tweak, reported by Peter O'Gorman.