removed now-obsolete debug stuff