Fix HTML encoding

This fixes issue #1.