mp_integer: a couple of small doc fixes.