minor HTML fix