Whitespace fixes in the header files