Misc fixes in docs.