Added 'coverage' as a requirement (only for CI).