Fix coverage and add badge