(minor style thing) the capital `D` is a bit weird; would prefer `_default`.