fix #3614