fix #3544