front-end: fix non-expanding tree-element

Close #494, close #495