fix elaboration of record data cons