Improve translation in section 4.6