Maybe explain in a comment why this is necessary so that nobody wastes time trying to change it later?