Fixing #579: incorrect keyboard shortcut in tutorial.