Merge pull request #573 from danvk/coverage-cleanup
authorDan Vanderkam <danvdk@gmail.com>
Sun, 29 Mar 2015 23:19:33 +0000 (19:19 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Sun, 29 Mar 2015 23:19:33 +0000 (19:19 -0400)
Coverage cleanup


Trivial merge