fix #164;