Update tutorial.lhs