Correcting code coverage