Fixed alignment in clauses

d2c0fd168aff194611521bc57665e0cf5c31ef21 by Alexey Bataev