minor PHP fixes