more command line tutorial tweaks