Improved HTML backend. Slight modification in the syntax.