fix #4122