correct fix for #3316