Documentation updates and corrections