Bug fix:  coverage option fixed