PHP tweaks