minor html formatting