This shouldn't be necessary, but Coverity thinks it's a good idea,
and it's simple enough to do without hurting anything.