push problem highlight