fix #3515