HOPKINS: Missing modification in previous commit