minor html addition