section 4.2: use -> using and corrected formatting for last example