Fix a bug in requirements.txt