HOPKINS: Forgotten file in previous commit