1 files changed, 1 insertions, 1 deletions
diff --git a/tools/makespec.py b/tools/makespec.py
index 38c7d3b..d182105 100755
--- a/tools/makespec.py
+++ b/tools/makespec.py
@@ -167,7 +167,7 @@ elif specformat == "html":
 
     else:
         err("Error converting markdown version of spec:\n")
-        err(err_out)
+        sys.stderr.buffer.write(err_out)
         exit(1)
 
 exit(0)