drop an unused hash; change slang to SPECIAL
Merge pull request #9792 from vipulnsward/drop_unused_hash

drop an unused hash; change slang to SPECIAL