Minor formatting change to html