Fix record.h formatting