Yet another HTML fix