Whether you would put a record separator after the last record isn't very relevant for this particular case, as it is putting one there.

Just because you fancy data formats with needless exceptions (handy if you are going to append records....) doesn't mean it's fine to change the data format at hand - without informing the reader about it.

-- Abigail