Document the error messages of world matchers