Doc updates; random fixes