Fixing line endings, in theory