Fixed minor issue with PHP 5.2