bugfix for minor php version