bugfix GifDecoder