Change example of records to reflect their immutability