Fix links to sec 5.2 with changed name