diff --git a/src/c/vector_push.d b/src/c/vector_push.d
index d4fb503c3..1ecb5ed5a 100644
--- a/src/c/vector_push.d
+++ b/src/c/vector_push.d
@@ -79,10 +79,12 @@ cl_vector_push(cl_object value, cl_object v)
 
 @(defun vector-push-extend (value v &optional (extent MAKE_FIXNUM(0)))
 @
+{
 	cl_index f = fix(cl_fill_pointer(v));
 	if (f >= v->vector.dim) {
 		v = extend_vector(v, ecl_to_size(extent));
 	}
 	ecl_aset1(v, v->vector.fillp, value);
 	@(return MAKE_FIXNUM(v->vector.fillp++));
+}
 @)