Fix spec so it works with PHP 5.4