Please don't put this here, and just drop the corresponding case in ThreadRecord.