fix #711