fix #4066