Fixed a bug that caused issues with PHP < 5.5