Add coverage badge and fix a typo