Bug fix in ==