remove some left-over html

it was there when this was converted from an HTML page