minor HTML change