fix #3980