See [previous comment](#r8792350) about `default` value.