Fix trivial mistakes for document