fix #3432