Commit fixed versions of these files. Hopefully they stay that way.