Typo fix, RBT typechecks