[ixp1200] Re: Wrong results in Workbench (full message)