Fix constructor of record.