  We provide proper foundations and proofs for the main results of [Ka]. The
results include a flat base change for formality and behavior of formality in
flat families of $A(\infty)$ and DG algebras.
