Doc updates; other fixes