minor html fixes