Fix needed for php 5.3.x backward compability