removed some old php compatibility