Fix a typo left by a previous document update