Bug fix in WF constructo