Minor changes to header