Add lines to sec.3.