Fix #95: Mitigate PHP object comparison bug.