Small corrections to tutorials 8 and 9.