arff-grep: fix