Same fix for post conditions.