fix #3743