Workaround php5.3