a glitch in Matrix dump_arff()