Fix notice in PHP 5.3