Removed redundant section in record definition