1 files changed, 2 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Lua/Marshaling/ReaderOptions.hs b/src/Text/Pandoc/Lua/Marshaling/ReaderOptions.hs
index dd7bf2e61..01af3660b 100644
--- a/src/Text/Pandoc/Lua/Marshaling/ReaderOptions.hs
+++ b/src/Text/Pandoc/Lua/Marshaling/ReaderOptions.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE LambdaCase           #-}
+{-# LANGUAGE TypeApplications     #-}
 {-# LANGUAGE OverloadedStrings    #-}
 {-# LANGUAGE ScopedTypeVariables  #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
@@ -31,7 +32,7 @@ import qualified Text.Pandoc.Lua.Util as LuaUtil
 -- Reader Options
 --
 instance Pushable Extensions where
-  push exts = Lua.push (show exts)
+  push exts = Lua.push (show @String exts)
 
 instance Pushable TrackChanges where
   push = Lua.push . showConstr . toConstr