fix argument to WCFG