Hotfix for a warning that was somehow missed #6773

Job	Run time
Build & test (hydra-plutus)	2m 9s
Build haddock using nix	1m 58s
Build & test (hydra-tui)	3m 55s
Build & test (hydra-node)	9m 21s
Benchmarks (hydra-node, tx-cost, --output-directory $(pwd)/../benchmarks)	2m 52s
Build & test (hydra-tx)	2m 53s
nix flake check	5m 16s
Benchmarks (hydra-node, micro, -o $(pwd)/../benchmarks/ledger-bench.html)	2m 19s
Benchmarks (hydra-cluster, bench-e2e, datasets datasets/1-node.json datasets/3-nodes.json --outpu...	4m 45s
Build & test (hydra-cluster)	12m 36s
Build specification using nix	2m 16s
Compute cost differences	4m 24s
Publish benchmark results	5s
Documentation	3m 49s
Publish test results	13s
	58m 51s

Provide feedback