Tiny fix of 'pip install'