extra debugging code for issue #5