[#1732] Fixed a warning cropping up wth -O3 in CI