docs and corrections