Update record-specification.md