minor changes to php