Add user names

We decided to leave it non-unique!