Mojang Employee "Anton Wu" has no [Mojang] prefix at the beginning of their name

The Bug:

Mojang Employee "Anton Wu" has no [Mojang] prefix at the beginning of their name.

Description:

All Mojang Employees are supposed to have the [Mojang] prefix at the beginning of their name, along with a red flair, to indicate that they are from Mojang. The user "Anton Wu", has the red flair however, they do not have the [Mojang] prefix. This may lead to slight confusion, as to whether they are considered an employee or not. Here is a link to their profile: https://bugs.mojang.com/secure/ViewProfile.jspa?name=mrwu