fix #722