info: fix a Coverity warning