minor change php >= 5.3