More documentation improvements and corrections