filter widget no longer crashes - fixes #213