minor stylistic change to header