What happened to the empty lines in this header?