Improve translation in Sec. 5.2.7