Add missing postcondition comment.