some minor adjustments in format of .Rd files