Minor tweaks to syllabus.