HTML text format should convert line breaks into HTML