I don't think that's needed. (Or at least don't modify @user)