fix #715