Some output printing added to redispatch