make PHP test more precise