* Fixed bug #3862: Tools>User Admin allows switching to disabled user