some minor documentation updates and corrections