Update json_spirit_reader.cpp