Should `sudo pip ...` have a `$` to denote it as a command?