bugfix for php fetch