Fixed DbC example naming.