HOPKINS: Fix another error reported by Valgrind. Thanks Eriktorbjorn for reporting it