Minor edits to header