Better HTML reporting. Branch coverage fixed.