Fixes to ABC lecture