fix for #3774