Fix issue as shown by Coverity Code Spotter