fix #2712