[Consistency Predicates] Documentation: Corrected a small indentation problem... again...