Improvements to the GIF converter