fix typos in gmp support routines, by Paulo Moura.