fix minor bug related to c++11: erase function in a std::map now returns...

... the next element