fix for #3350