html export: Fix export of checked checkbox and radiobutton.

Change-Id: Ia77f9840df7508d96292aac63e65714a7892342f