minor change in Document constructor