HOPKINS: Fix invalid read reported by Valgrind. Thanks Eriktorbjorn for the help