minor HTML improvements