small HTML fix