Minor PHP fixes.