One more trivial fix to tutorials.