Merge branch 'hotfix/options' into 'master'

Fix failing test under devtools::check()

I ran the `testthat` tests but forgot to run `devtools::check()`. Somehow the options are handled differently in both cases.

See merge request !7