Fixes in F::splitRight