Code contracts fixed.