[#1732] Fixed a warning cropping up wth -O3 in CI, nearly identical to the last one