Fix a Coverity complaint.