Fixes #31 Fatal error on PHP 5.4