Manually overwrote file due to git error.