This is necessary, but it's already included in my next push, which clarifies ownership rules for the GMP APIs.