diff --git a/tests/regression/79-modular/28-return-void-allocated.c b/tests/regression/79-modular/28-return-void-allocated.c
index afcf663eae..b0cfc5907f 100644
--- a/tests/regression/79-modular/28-return-void-allocated.c
+++ b/tests/regression/79-modular/28-return-void-allocated.c
@@ -9,7 +9,7 @@ typedef struct node {
 
 node_t *allocate_node(){
     // Changing the pointer type to node_t* resolves the issue
-    int* n = malloc(sizeof(node_t));
+    node_t* n = malloc(sizeof(node_t));
     return (node_t*) n;
 }
 
@@ -30,7 +30,7 @@ node_t *add_node(node_t *n){
         __goblint_check(new_node != NULL);
 
         n->next = new_node;
-        __goblint_check(n->next != NULL);
+        __goblint_check(n->next != NULL); //UNKNOWN!
 
         new_node = init_node(new_node);
         __goblint_check(new_node != NULL); //UNKNOWN