Fix some small issues with the command-line tutorial.