fix #253