trivial modification in Splitter class