minor improvement of HTML strip implementation