Documentation: Typo, and see also