Minor updates in sec 4