Update quaternion nomenclature in spec