diff --git a/doctest.cabal b/doctest.cabal
--- a/doctest.cabal
+++ b/doctest.cabal
@@ -1,5 +1,5 @@
 name:             doctest
-version:          0.9.1
+version:          0.9.2
 synopsis:         Test interactive Haskell examples
 description:      The doctest program checks examples in source code comments.
                   It is modeled after doctest for Python
@@ -86,7 +86,7 @@
     , HUnit       == 1.2.*
     , hspec       >= 1.3
     , QuickCheck  >= 2.5
-    , stringbuilder
+    , stringbuilder >= 0.2
     , silently
     , filepath
 
diff --git a/src/Interpreter.hs b/src/Interpreter.hs
--- a/src/Interpreter.hs
+++ b/src/Interpreter.hs
@@ -46,6 +46,12 @@
   _ <- eval interpreter "import System.IO"
   _ <- eval interpreter "import GHC.IO.Handle"
   _ <- eval interpreter "hDuplicateTo stdout stderr"
+
+  -- this is required on systems that don't use utf8 as default encoding (e.g.
+  -- Windows)
+  _ <- eval interpreter "hSetEncoding stdout utf8"
+  _ <- eval interpreter "hSetEncoding stderr utf8"
+
   return interpreter
   where
     myFlags = ["-v0", "--interactive", "-ignore-dot-ghci"] ++ flags
diff --git a/src/Parse.hs b/src/Parse.hs
--- a/src/Parse.hs
+++ b/src/Parse.hs
@@ -49,7 +49,7 @@
 parseComment c = properties ++ examples
   where
     examples   = map (fmap $ uncurry Example) (parseInteractions c)
-    properties = [] -- map (fmap          Property) (parseProperties   c)
+    properties = map (fmap          Property) (parseProperties   c)
 
 -- | Extract all properties from given Haddock comment.
 parseProperties :: Located String -> [Located Expression]