[Consistency Predicates] Documentation: Fixed a small indentation problem