add debugging output for sporadic issue #37