Fix some confusing output in the constraint log.