Fix PHP 5.4-ism that I snuck in there accidentally.