HOPKINS: Fix a couple of comments