More PHP4 compatibility