Fix a minor documentation error