Make command lines copy-pasteable, fix typo