Minor fixes to header style (closes #3)