some fixes to the nondeterm counterstrategy plugins