correct semantics for calling devtools::document