another simple fix: (for when to offer "download-as-rdata" as an option)