ready for PHP 5.4+
try #10