small fix to DumbSplitter