Fix for cobertura.