fix #4224