add correct factor in proof of splitting lemma
shift the index of jets of automorphisms
add double line in table
change \varphi to \phi