some minor HTML fix ups