small bug with PHP verisons below 5.4