Fix print of record diagnostic