minor changes to chebop/min