bug fix in DOM: