fix for #9893