Fix of references in §3.5