Fixed quaternion_algebra_from_ramification.