Fix GMP test

This didn't make it into the last pull; sorry!