Fixed bug in HTML representation