simplifying Scanner::reset()