Docs update; minor fixes