fix #709