Typo in CSS3 lecture notes