FIxed bug in match::is_maximal, which was making everything maximal.