More minor improvements.

---
Squash commit from https://github.com/ndahlquist/github-coverage-chrome-extension/pull/5 created by Whaler.