fix #716