Fix some mistakes in docs.