bug #5576: fixing poor GIF image quality