Fixed some formatting in the header comment