added debuglogging to illustrate problem to Mike...
(#325)