bugfix in splitter_parallel.cpp