Merge "Fix precondition formatting"