Discard empty HTML tags

This is a patch until a better HTML parser is used.