Very minor modification in InputParser.cpp.