Fix PHP 5.4 compatibility (never thought I'd say that one day)