bug in record::size risolto