Few fixes in the syllabus