Fix a bug in user tutorial