Some changes from yesterday's doc session.