Fixing formatting in instructor comments