Change comment formatting in a few places.