minor changes to debug output