bugfix for php < 5.3