Name deleted incorrectly

The name "Magic" was deleted from the API on Java Minecraft, normally when this happens the name is freed up, such as in cases with "archers" or "haunting". This name was deleted incorrectly making it unclaimable by any new Minecraft accounts.