Remove inaccessible Mongo shard

I had a different problem, and I manually removed the shard with:

use config
db.shards.remove({"_id":"shard0002"});

Manually modify the the shard entry in the config db, then removeshard