Fix sdoc-within-region highlighting