I know this is a stupid nit, but people have a tendency to copy & paste to the command line, so it should work.