HOPKINS: Fix GCC warning