Fixed bug in STree: count() method was wrong