diff --git a/src/docview.ts b/src/docview.ts
index 2a8d2db..8b48107 100644
--- a/src/docview.ts
+++ b/src/docview.ts
@@ -9,7 +9,7 @@ import {getAttrs} from "./attributes"
 import {clientRectsFor, isEquivalentPosition, maxOffset, Rect, scrollRectIntoView,
         getSelection, hasSelection, textRange, DOMSelectionState} from "./dom"
 import {ViewUpdate, decorations as decorationsFacet, outerDecorations,
-        ChangedRange, ScrollTarget, getScrollMargins, requestMeasureOnDocUpdate} from "./extension"
+        ChangedRange, ScrollTarget, getScrollMargins} from "./extension"
 import {EditorView} from "./editorview"
 import {Direction} from "./bidi"
 
diff --git a/src/layer.ts b/src/layer.ts
index 503c0f7..aba8dd6 100644
--- a/src/layer.ts
+++ b/src/layer.ts
@@ -200,7 +200,7 @@ interface LayerConfig {
   update(update: ViewUpdate, layer: HTMLElement): boolean
   /// Whether to update this layer every time the document view
   /// changes. Defaults to true.
-  updateOnDocViewUpdate: boolean
+  updateOnDocViewUpdate?: boolean
   /// Build a set of markers for this layer, and measure their
   /// dimensions.
   markers(view: EditorView): readonly LayerMarker[]