the type of the map was carefully chosen in #161 ...