diff --git a/src/TextDoc.py b/src/TextDoc.py
index 5743e078e..ba10fd19f 100644
--- a/src/TextDoc.py
+++ b/src/TextDoc.py
@@ -429,10 +429,13 @@ class StyleSheetList:
                 f.write('underline="%d" ' % font.get_bold())
                 f.write('color="#%02x%02x%02x"/>\n' % font.get_color())
                 f.write('<para ')
-                f.write('rmargin="%s" ' % utils.fl2txt("%.3f",p.get_right_margin()))
-                f.write('lmargin="%.3f" ' % utils.fl2txt("%.3f",p.get_left_margin()))
-                f.write('first="%.3f" ' % utils.fl2txt("%.3f",p.get_first_indent()))
-                f.write('pad="%.3f" ' % utils.fl2txt("%.3f",p.get_padding()))
+                rm = float(p.get_right_margin())
+                lm = float(p.get_left_margin())
+                fi = float(p.get_first_indent())
+                f.write('rmargin="%s" ' % utils.fl2txt("%.3f",rm))
+                f.write('lmargin="%s" ' % utils.fl2txt("%.3f",lm))
+                f.write('first="%s" ' % utils.fl2txt("%.3f",fi))
+                f.write('pad="%s" ' % utils.fl2txt("%.3f",p.get_padding()))
                 f.write('bgcolor="#%02x%02x%02x" ' % p.get_background_color())
                 f.write('level="%d" ' % p.get_header_level())
                 f.write('align="%d" ' % p.get_alignment())