[Consistency Predicates] Minor Change: Added a missing comment to
explain the last bug fix