continuing formatting changes for lecture notes