minor html tweak