adds missing 2* to printf in quaternion test