Fix manucheckp to understand and report correctly on Exception nodes.