Redundant formatting in the comments is removed.