Some more operations on maps.