MSetRBT: unfortunate typo in compare_height (fix #3413)