Added workaround for Coverity build failure.