fix #4039