Removing errant HTML from source file headers