fix #3810