Minor changes in php