Fix wrongly renamed file