Capitalization errors in usernames aren't automatically fixed in a reasonable amount of time within the realms players menu

The Bug:

Capitalization errors in usernames aren't automatically fixed in a reasonable amount of time within the realms players menu.

Steps to Reproduce:

1. Navigate to the minecraft realms menu.
2. Click on your realm and hit the "Configure realm" button.
3. Now hit the "Players" button and then the "Invite player" button.
4. Invite the user "Dinnerbone" to your realm, but enter the name with incorrect capitalization, for example, "DINnerBONE".
5. Locate their name within the list of players.
6. Take note as to whether or not capitalization errors in usernames are automatically fixed in a reasonable amount of time within the realms players menu.

Observed Behavior:

Capitalization errors in usernames aren't automatically fixed in a reasonable amount of time. In my testing, they appear to fix themselves after around thirty minutes of having the game launched.

Expected Behavior:

Capitalization errors in usernames would automatically be fixed.