Added some debug output requested by Bernard.