Properly implement get_document().