Minor changes for the test coverage examples