diff --git a/smtLib.cabal b/smtLib.cabal
--- a/smtLib.cabal
+++ b/smtLib.cabal
@@ -1,5 +1,5 @@
 Name:           smtLib
-Version:        1.0.6
+Version:        1.0.7
 License:        BSD3
 License-file:   LICENSE
 Author:         Iavor S. Diatchki
diff --git a/src/SMTLib2/PP.hs b/src/SMTLib2/PP.hs
--- a/src/SMTLib2/PP.hs
+++ b/src/SMTLib2/PP.hs
@@ -140,7 +140,7 @@
   pp cmd =
     case cmd of
       CmdSetLogic n     -> std "set-logic" n
-      CmdSetOption o    -> std "set-options" o
+      CmdSetOption o    -> std "set-option" o
       CmdSetInfo a      -> std "set-info" a
       CmdDeclareType x n    -> mk "declare-sort" (pp x <+> integer n)
       CmdDefineType x as t  -> fun "define-sort" x as (pp t)