Fix theme for PHP 5.4-