Merge branch 'milloni/fix' into 'master'

Fix compilation error that comes up when building with Horizon

See merge request !1
2 jobs for master in 3 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Generate
passed #273524
generate-flake-ci

00:00:03

 
  Check
failed flake-ci