Fix misnamed .gif file