fix lint

specification/compatibility/opencensus.md

@@ -207,7 +207,7 @@ metric exporters.
 
 #### Known Incompatibilities
 
-* OpenTelemetry does not suport OpenCensus' GaugeHistogram type; these metrics
+* OpenTelemetry does not support OpenCensus' GaugeHistogram type; these metrics
   MUST be dropped when using the bridge.
 
 ## Semantic Convention Mappings
@@ -230,4 +230,4 @@ OpenCensus specifies the following [HTTP Attributes](https://github.com/census-i
 | `http.status_code` | `http.status_code` |                      |
 | `http.url`         | `http.url`         |                      |
 | `http.path`        | `http.target`      | key-name change only |
-| `http.route`       | N/A                | Pass through ok      |
+| `http.route`       | N/A                | Pass through ok      |

specification/metrics/sdk.md

@@ -47,6 +47,9 @@ linkTitle: SDK
       - [ForceFlush()](#forceflush)
       - [Shutdown()](#shutdown)
   * [Pull Metric Exporter](#pull-metric-exporter)
+- [MetricProducer](#metricproducer)
+  * [Interface Definition](#interface-definition-1)
+    + [Produce() batch](#produce-batch)
 - [Defaults and configuration](#defaults-and-configuration)
 - [Numerical limits handling](#numerical-limits-handling)
 - [Compatibility requirements](#compatibility-requirements)
@@ -1113,11 +1116,11 @@ in-memory state MAY implement the `MetricProducer` interface for convenience.
                                  +-----------------------------+
   ```
 
-#### Interface Definition
+### Interface Definition
 
 A `MetricProducer` MUST support the following functions:
 
-##### Produce() batch
+#### Produce() batch
 
 `Produce` SHOULD provide a way to let the caller know whether it succeeded,
 failed or timed out. When the `Produce` operation fails, the `MetricProducer`