A few minor fixes to tutorial 2