corrected typos on sectoin 4.2