fixing up formatting of lecture notes