Found a few typos in Session09