Fix issue w/ HTML in docs.