bugfix for php