minor renaming
Need for explanations