documentation and corrections