Fix: remove PHP 5.5-ism.