fix #4079