Fix postconditions issue.