verbose fix for #8869