Fixing the examples for hashmap binders