Small tweaks to the php