Fixed quaternion-prod