Make it php5.3 compatible