fix #4047