Fix for supporting older PHP < 5.4