Update for -DDEBUG