Fix coverity warning / legitimate minor bug