Be compatible with PHP<5.4