Avoid code duplication in document_get_current()