Interesting. I think the way to fix it is to reupload the stock files but it would overwrite some settings and the theme