HOPKINS: Silence GCC warning