MpegSplitter: cosmetics