minor HTML fixes