php string syntax fix