Fixes warning on PHP 5.4