The Bug:

A small stutter sometimes occurs in the realms "Players" menu when changing players' operator privileges.

Steps to Reproduce:

1. Navigate to the minecraft realms menu.
2. Click on your realm and hit the "configure realm" button.
3. Click on the "players" button.
4. Change the operator privileges of any player.
5. Watch your screen closely.
6. Take note as to whether or not a small stutter sometimes occurs in the realms "Players" menu when changing players' operator privileges.

Observed Behavior:

A small stutter sometimes occurs in the realms "Players" menu when changing players' operator privileges.

Expected Behavior:

A small stutter would not sometimes occur in the realms "Players" menu when changing players' operator privileges.