FIX compatibility for PHP < 5.4