Fix a bug in map delete, of all things!