Corrected a typo: reference to section 18.1.4, not 18.2.3.