Fix filenames in header comment blocks