some debugging trace output, see comment on github