Undo coverage support. This was added accidentally from my personal project.