fix a little bug in "document info"