One more small tweak to html :)