fix #47;