View ajax arguments rendered in wrong order

Rendering view ajax arguments in theme/theme.inc, function template_preprocess_views_view(&$vars), .... 'view_args' => check_plain(implode('/', $view->args)) sometimes renders arguments in wrong order, because keys in the $views->args are not always sorted correctly.
I experienced this bug in ajax-enabled block mini calendar with additional arguments limiting displayed events. The date argument was added at the end instead of the beginning causing the result set to be wrong - mismatched arguments. The date argument has correct key '0', but was positioned at the end of the $view->args array and thus rendered incorrectly.
Suggested fix:
Just after the line: if ($view->use_ajax) {
add the following: $args = $view->args; ksort($args);
and then render: 'view_args' => check_plain(implode('/', $args)),
Worked for me.