Correcting format of comments in header file