diff --git a/src/params/smt_parallel_params.pyg b/src/params/smt_parallel_params.pyg
index d1e2e567d..302616ce0 100644
--- a/src/params/smt_parallel_params.pyg
+++ b/src/params/smt_parallel_params.pyg
@@ -24,5 +24,5 @@ def_module_params('smt_parallel',
                         ('inprocessing_delay', UINT, 0, 'number of undef before invoking simplification'),
                         ('param_tuning', BOOL, False, 'whether to tune params online during solving'),
                         ('enable_parallel_smt', BOOL, True, 'whether to run the parallel solver (set to FALSE to test param tuning only)'),
-                        ('tunable_params', STRING, '', 'comma-separated key=value list for online param tuning, e.g. \"smt.arith.nl.horner=false,smt.arith.nl.delay=8\"')
+                        ('tunable_params', STRING, '', 'comma-separated key=value list for online param tuning, e.g. smt.arith.nl.horner=false,smt.arith.nl.delay=8'),
               ))
\ No newline at end of file