Docs; various fixes