minor html edit