Made encodeHTML encode line breaks into <br> tags