HOPKINS: Remove dead code. Thanks eriktorbjorn for reporting it