Minor change to improve debug-ability of HTML