Found a new weirdness in php.