Small fix to debug output