[doc] Fixing code in dynamic mojit dispatching example: see issue #1273