Corrected typo in Sect. 4.1