Further refinements to the tutorial.