Fixed bug #13059: overriden user settings are not visible to the user (Thanks to...