Removing errant HTML in source file headers