Minor HTML change