Bugfix in BST printing