add verbose parameter; fix bug computing target coverage totals