fix #4061