Small fix to the dumb heuristic