diff --git a/src/system/kernel/util/khash.cpp b/src/system/kernel/util/khash.cpp
index 08594a7ae2..dded1ade73 100644
--- a/src/system/kernel/util/khash.cpp
+++ b/src/system/kernel/util/khash.cpp
@@ -426,7 +426,7 @@ hash_dump_table(struct hash_table* table)
 			dprintf("%6lu:", i);
 			while (element != NULL) {
 				dprintf(" %p", element);
-				element = NEXT(table, element);
+				element = (hash_element*)NEXT(table, element);
 			}
 			dprintf("\n");
 		}