[fix #5] change types