Tweak readme wrt PHP