Test with coverage now; manual test instruction added