Forgot `ok` in `dyn-combine-basic-mirror`