Some minor HTML changes