HOPKINS: Remove useless assert