Some fixes

We always prefix shell commands with `$`.