Fix bug in node_cmp

int(False)=0, int(True)=1. So some lists are not well sorted.