Undo my wrong bumps to T6048

which were obtained when running with -DDEBUG. Sorry about that.