diff --git a/esprima-to-ast.js b/esprima-to-ast.js
index b64b50657421742852c3036d0621d22b58755f65..89fff656c6f20253a3f69b35347e7ffeb1451c43 100644
--- a/esprima-to-ast.js
+++ b/esprima-to-ast.js
@@ -357,7 +357,7 @@ function esprimaToAST(prog) {
       r.tag = "Coq_expr_function";
       r.func_name_opt = toOption(id, expr.id);
       r.arg_names = toList(expr.params.map(trPattern));
-      r.body = trBlockStat(expr.body);
+      r.body = trBlockStatAsFuncbody(expr.body);
       // TODO: USE STRICT
     } else if (expr.type === "SequenceExpression") {
       r = expr.expressions.map(trExpr).reduce(function (previousValue, currentValue) {