array_merge() cast error

Line 922 has a cast error. It should read:

$form = array_merge($form, (array)module_invoke($type, 'search', 'form', $keys));

rather than:

$form = array_merge($form, module_invoke($type, 'search', 'form', $keys));