spelling correction
Reimplemented Mapping_stdmap<> directly instead of using SortedMapping_stdmap<> to avoid circularity problems