Make Cobertura happy