Fix misnamed file