FilterTool: made a minor, but important change.