Check GMP minor edit