Fix a silly documentation issue