A few little revisions