Fix up checkBST