PHP tweaks.