Minor PHP mistype fix.