cosmetic change on header file