more debugging attempts for issue #11 (actually the resolving sub-issue mentioned in the latest comments)