Fix a coverity bug introduced by the pull request I merged in.