better debugging for #8815