fix #189;