Coverage badge fix