HOPKINS: Fix bug in previous commit. Thanks Kirben for pointing to it