minor tweak on HTML