replaced one type of line break with the correct one in TTL serialization