Adjust intersection constructor in user.