Fixed mistakes found by trying to follow the command line instructions