Fixes to lecture slides