Oh, yes, sorry. Copying and pasting is a better idea than manually typing it. Less room for error that way.
Note that the keyboard shortcut for paste in the terminal is Ctrl+Shift+V, not just Ctrl+V. You should also be able to simply highlight the command and drag it into the terminal.