Clarifications and corrections in the intro