Minor web page tweak.