Stupid bug in user_locale()
Idem