some workaround for PHP warnings