Fix tutorial in correspondence with massive renamings