PHP fixes