Minor PHP fixes