bugfix in closetoc