Fix bug in debug()