Revert "Merge pull request #2 from athieriot/coverage"

This reverts commit 4d9105fcdb9afec2ac2ca98f6f5eda216888563f, reversing
changes made to 838fdc4709d9fb1cdd46585e73abbf864dc218d3.