Fix tiny trivial mistakes in document