Made a couple of minor tweaks to clean up _read_next_string and _read_next_mpint