Documentation: fix a typo and formatting