Hacks for Coverity.