Fix unappropriate formatting in comments