minor adjustment to playcampaign.cpp