9In section 129(1) (designation of institutions), for “a higher education funding council” substitute “the Higher Education Funding Council for Wales”.