revert unnecessary change in map_example.hpp