User settings not honored

Hi,
I've chosen to make tinymce the default editor. Then I set the default state to "disable" for one user, but the user still gets tinymce for every edit, even after logging out and in again.

cu,
Frank