this comment (and a few other ones) is left over from INNER_FIRST sorting and not true for SMALLER_FIRST