fix bug with shadowing elt