coverage.Rd correction