Documentation: fix a typo