small modification to remove unused record declaration