corrections of 4.2 and 4.3