Emergency fix: rename a conflicting label in the tutorials.