Fix: PHP5.5 compatibility