Editing user colors in the admin now works correctly. (Fixes #539)