fix very minor html formatting thing