no html coverage due to zend/php bug