A little more elim section and fix some examples