Fixed yet another filename with wrong case.