Just a test against PHP 5.4