bug fixes in php