re #959: added more debugs