port fix for #5374