Fixed a bug where the plugin didn't work on PHP 5.3