fix #67;