fix #756