Fixes #3105 Fixed a syntax not working on PHP 5.3