JFlex: fix comma parsing