Fix migration written to fix synced users

The earlier version was incompatible with mongoid,
because it expects keys to be symbols or strings.