Fix a typo in the solution filtering code.