merged all comments on formal extension