Fix map allocators in introduction. Fixes trac #9719.