Fixed a bug in the definition of define/cost.