Fix bug 9300. We need manually to convert newlines to paragraph breaks.