The name `Default` with a capital `D` offends our style checker. Use `value` instead?