Your source formatter is clobbering the copyright header