fix a few awkward markup mistakes