Ändringen behandlas i avsnitt 9.4.2 .