minor fix in php; issue #126