Fix a wrong source file set by mistake.