diff --git a/gui-lib/mrlib/gif.rkt b/gui-lib/mrlib/gif.rkt
index 895c7596..7e78a015 100644
--- a/gui-lib/mrlib/gif.rkt
+++ b/gui-lib/mrlib/gif.rkt
@@ -75,7 +75,7 @@
                  (gif-end gif)))))))))
 
 (define (write-gif bm filename)
-  (write-gifs (list bm) #f filename #f #f #f))
+  (write-gifs (list bm) #f filename #f #f #f 'any))
 
 (provide/contract
  [write-animated-gif