Minor tweaks to quaternion adt.