minor fix in SingleElem