We provide a formal definition of textual alignment of collective operations in a simple imperative language extended with minimal spmd constructs. The definition relies on a instrumented operational semantics in which we record suitable informations about the execution flow. We prove that this property entails proper the absence of deadlocks and we claim that it provides an intuitive programming model.