Minor tweak for Python PIP