fix #3531