fix for html decoding