Updated titles of sections 19.4.2. and 19.4.4.