Trying to track down the apparent memory leak in the coverage model