correct splitAt