A fix at last for the lexing bug for terms that begin with digits --