fix #68;