Fixed up some typos in lab