html decode the return value of innerHTML, otherwise we will get problems