Fix a Coverity warning caused by previous commits.