small style changes to header file