adding eof, and fixing the csv BNF