mp_integer: minor comment fix.