small fix to CCKTree.Dot