Remove redefinition of @user to a CarnegieMellonPerson