HOPKINS: Fix warning