HOPKINS: Fix broken condition detected by Coverity