Tabs disappear in user.module settings after saving a role

When you edit a user role at admin/access/roles, the local task tabs disappear after saving the edit.

Very minor point, but I thought I would include it in the spirit of making drupal more client friendly/consistent. I think the user.module needs this line right around line 1557:

drupal_goto('admin/access/roles');