Arff fixes

Tiny stuff.