Use regular double quotes, instead of fancy quotes, so that copying and ...

...pasting into a terminal works correctly.