Minor documentation fix in GIF decoder