Doc change to verify-primegaps example