fix failure of int parser to unget an initial mismatching character