Thanks for the quick reply.
The settings did finally stick. It appears that there is a long delay (several minutes in my case) before they are actually saved to the database. I assume some optimization is going on in the background and the settings get saved late in the process.
Anyway, it seems to work now. thanks!