JANITORIAL: formatting headers