correct help(options) error regarding default