fix Gifsicle: I think this was a copy & paste mistake