N13.0.20- Bug Updating Workspaces asterisk "*" still there

Updating workspaces still does not clear the * in the workspace name.

Step 1. Recall Workspace
Step 2. Press F3 to close Mixer Window
Step 3. Press F3 to bring Mixer Window back
Step 4. Update Workspace -Asterisk remains in Workspace name.