HOPKINS: Remove debugging hack