another fix for #3350