HOPKINS: Fix typo in previous commit