fix #54;