User workspace title not refreshed after firstname/lastname change

1. install nuxeo
2. install web ui
3. start server
4. login as Administrator
5. create a user toto with firstname Toto and lastname Lageois (tlageois)
6. change the firstname/lastname to Titi and Lulu
7. login as tlageois
8. head over to the profile
9. observe the firstname and lastname at the top is correct
10. observe the workspace title displayed in the Local Permissions section is still Toto Lageois

Expected behavior: the title of the workspace should be renamed when changing those user properties.