Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 82d515e917f3eeeff253e4aa30e493f5f632c950)
+++ kernel/generic/src/mm/as.c	(revision 16f2dccd209e000faa95942cd1000cb27dbf408e)
@@ -833,5 +833,5 @@
 			    btree_node_t, leaf_link);
 			
-			if ((cond = (bool) node->keys)) {
+			if ((cond = (node->keys != 0))) {
 				uintptr_t ptr = node->key[node->keys - 1];
 				size_t node_size =