added little workaround for some php-versions