Fix little HTML bug