Missing matcher instantiation. Fixes #711