Fix for #80350: the user's name no longer appears in the logout button.
Merge pull request #30 from luisromangz/7.3-ohiggins-SNAPSHOT

Fix for #80350: the user's name no longer appears in the logout button.