minor HTML update