Fix cobertura stuff...