wprintf("<div id=\"banner\">\n");
wprintf("<TABLE WIDTH=100%% BORDER=0 BGCOLOR=\"#444455\"><TR><TD>");
- wprintf("<IMG SRC=\"/static/citadel-logo.gif\" WIDTH=64 HEIGHT=64 ALT=\" \" ALIGN=MIDDLE>");
+ wprintf("<img src=\"/static/citadel-logo.gif\" WIDTH=64 HEIGHT=64 ALT=\" \" ALIGN=MIDDLE>");
wprintf("<SPAN CLASS=\"titlebar\"> First time setup");
wprintf("</SPAN></TD><TD ALIGN=RIGHT>");
wprintf("</TD></TR></TABLE>\n");