Small fix in mpz_get_str()