fix up corruption in source file