Drupal message not displaying editor link correctly

When viewing a pending revision you set a message to display latest editor of this revision. However the link to editors profile is displayed as raw html text. In content_moderation.module, lines 190ff. the code should be changed (replacing @author by !author):

        drupal_set_message(
          t('The revision of this node has been created on @date by !author.',
            array(
             '@date'=> format_date($node->revision_timestamp, 'small'),
             '!author'=> theme('username', $revision_author)
            )
          )
        );

Best,
Paul