The second argument to `ParamArray::get_optional()` is the value to use by default if the parameter isn't explicitely set. The original code (use Hilbert by default) was correct here.