Minor PHP error fixes