# fixed PHP notice on PHP 5.4 servers