fixed a bug in the PHP client