further tidying up in multiword theories