More documentation modifications