fix for #4483