I ran the testthat tests but forgot to run devtools::check(). Somehow the options are handled differently in both cases.
testthat
devtools::check()
added bug label
merged
mentioned in commit 9d667115
mentioned in commit 438d3e10