c05f1bdd44
This ungetc() call don't look legitimate and actually leads to lots of warnings about ungetc() being called when another character was already backed up.