fix #4063