fixed typos on lecture 12