Add a comment about our usage of std::map