Added more debugging information to try to track down the problems
with Issue #1.