Fix formatting in lecture notes