Stop Coverity from getting confused.