fix #4056