PatternFinder: better return statement, fixes #72