fixed a bug with inclusion test