Fix the accidentally changed files