small fix for debug output