fix for #9290