fix #4070