Minor modifications in InputParser.cpp.