Added compatibility with PHP < 5.4