WSplitter: remove unused vars