minor tweak to Mapping_stdmap