HOPKINS: Fix bug #3611566