Fix html encoding

This fixes issue #1.