tutorial: Fix obsolete names