WSplitter: cosmetic fixes