Issue #90: instrumentation to figure out the error ... cannot reproduce locally