Removed now-obsolete debug box