`defaultValue` here, since we're changing it anyway?