fixed new bug, now produces unambiguous matches