diff --git a/src/__init__.py b/src/__init__.py
index 69ba55e6d920bafc4d5e956779652d95a6f76756..da4507b3afe535372f3ca1b72dc883603038a5cd 100644
--- a/src/__init__.py
+++ b/src/__init__.py
@@ -759,7 +759,7 @@ def gather_parameters_from_user(variables, constants={}, doc={},):
                     "invalid setup key: '%s' "
                     "(user variables must start with 'user_')" % added_key)
 
-    return dict((key, execenv[key]) for key in variables)
+    return Record(dict((key, execenv[key]) for key in variables))