Better error message for -p bogus:1234
Remove outdated comment

We no longer have a restriction that short options only take numbers