change|contract: fixed a constructor bug and a contract ambiguity.