small change in coverage.Rd and default.Rd