fix #752