Some fixes reported by students.