Added 'make coverage'