Forgot a straggler from PHP 5.4