Fix bugs in WcToolTest