Fixed trivial mistakes in document