Minor change in ToString of IFMapUpdate