(~) user-related bugfixes in redis script