Another minor fix for PyPI