coverage: fixed an error.

This is why Python's % operator for string interpolation is being phased out.