Fix name of failing file