Fix type in code coverage badge.

I did this so we would actually see coverage badge properly.