PHP script tweaks.