High: map: Warn users not to modify map during notify callback