corrected small bug in debug interface