Add coverage status and fix a header