Corrected a typecheck in SE3.m