Fix a minor documentation error.