Fixed a warning in PHP