fix HTML-encoding in preformatted code
Merge pull request #13 from nkiesel/master

fix HTML-encoding in preformatted code