new header and other small HTML improvements