post-lecture typo/thinko fixes