Fix formatting in RecordIO spec