update documentation to mention GMP