Minor typos/docfixes

That's all.