Correct code coverage