[BUGFIX] Ensure PHP 5.3 compatibility