fix #4155