doc update for mini-gmp