Fixed yet another filename with the wrong case.